@CHARSET "UTF-8";

.highlight {
	background-color: #900 !important;
}

.highlight * {
	color: white;
}
